1. A many-sorted calculus based on resolution and paramodulation
پدیدآورنده : Christoph Walther.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Automatic theorem proving.
2. Automatisierung von Terminierungsbeweisen
پدیدآورنده : von Christoph Walther ; herausgegeben von Wolfgang Bibel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
3. Leich, Lieder, Sangsprüche /
پدیدآورنده : Walther von der Vogelweide ; Aufgrund der 14., von Christoph Cormeau bearbeiteten Ausgabe neu herausgegeben, mit Erschliessungshilfen und textkritischen Kommentaren versehen von Thomas Bein ; Edition der Melodien von Horst Brunner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Walther,active 12th century., Poems-- Criticism, Textual.,Walther, 1170-1230,German poetry-- Middle High German.,Songs, German (Middle High German)
رده :
PT1670
.
A1
C67
2013
